#include "constantes_gpu.h"

const unsigned int PosNoeudsVariable[_M] ={
/* msg =      0, deg =  7 */     42,    139,    149,    190,    285,    312,    336, 
/* msg =      1, deg =  7 */     43,    140,    150,    191,    286,    313,    337, 
/* msg =      2, deg =  7 */     44,    141,    151,    168,    287,    314,    338, 
/* msg =      3, deg =  7 */     45,    142,    152,    169,    264,    315,    339, 
/* msg =      4, deg =  7 */     46,    143,    153,    170,    265,    316,    340, 
/* msg =      5, deg =  7 */     47,    120,    154,    171,    266,    317,    341, 
/* msg =      6, deg =  7 */     24,    121,    155,    172,    267,    318,    342, 
/* msg =      7, deg =  7 */     25,    122,    156,    173,    268,    319,    343, 
/* msg =      8, deg =  7 */     26,    123,    157,    174,    269,    320,    344, 
/* msg =      9, deg =  7 */     27,    124,    158,    175,    270,    321,    345, 
/* msg =     10, deg =  7 */     28,    125,    159,    176,    271,    322,    346, 
/* msg =     11, deg =  7 */     29,    126,    160,    177,    272,    323,    347, 
/* msg =     12, deg =  7 */     30,    127,    161,    178,    273,    324,    348, 
/* msg =     13, deg =  7 */     31,    128,    162,    179,    274,    325,    349, 
/* msg =     14, deg =  7 */     32,    129,    163,    180,    275,    326,    350, 
/* msg =     15, deg =  7 */     33,    130,    164,    181,    276,    327,    351, 
/* msg =     16, deg =  7 */     34,    131,    165,    182,    277,    328,    352, 
/* msg =     17, deg =  7 */     35,    132,    166,    183,    278,    329,    353, 
/* msg =     18, deg =  7 */     36,    133,    167,    184,    279,    330,    354, 
/* msg =     19, deg =  7 */     37,    134,    144,    185,    280,    331,    355, 
/* msg =     20, deg =  7 */     38,    135,    145,    186,    281,    332,    356, 
/* msg =     21, deg =  7 */     39,    136,    146,    187,    282,    333,    357, 
/* msg =     22, deg =  7 */     40,    137,    147,    188,    283,    334,    358, 
/* msg =     23, deg =  7 */     41,    138,    148,    189,    284,    335,    359, 
/* msg =     24, deg =  7 */     90,    115,    124,    184,    264,    336,    360, 
/* msg =     25, deg =  7 */     91,    116,    125,    185,    265,    337,    361, 
/* msg =     26, deg =  7 */     92,    117,    126,    186,    266,    338,    362, 
/* msg =     27, deg =  7 */     93,    118,    127,    187,    267,    339,    363, 
/* msg =     28, deg =  7 */     94,    119,    128,    188,    268,    340,    364, 
/* msg =     29, deg =  7 */     95,     96,    129,    189,    269,    341,    365, 
/* msg =     30, deg =  7 */     72,     97,    130,    190,    270,    342,    366, 
/* msg =     31, deg =  7 */     73,     98,    131,    191,    271,    343,    367, 
/* msg =     32, deg =  7 */     74,     99,    132,    168,    272,    344,    368, 
/* msg =     33, deg =  7 */     75,    100,    133,    169,    273,    345,    369, 
/* msg =     34, deg =  7 */     76,    101,    134,    170,    274,    346,    370, 
/* msg =     35, deg =  7 */     77,    102,    135,    171,    275,    347,    371, 
/* msg =     36, deg =  7 */     78,    103,    136,    172,    276,    348,    372, 
/* msg =     37, deg =  7 */     79,    104,    137,    173,    277,    349,    373, 
/* msg =     38, deg =  7 */     80,    105,    138,    174,    278,    350,    374, 
/* msg =     39, deg =  7 */     81,    106,    139,    175,    279,    351,    375, 
/* msg =     40, deg =  7 */     82,    107,    140,    176,    280,    352,    376, 
/* msg =     41, deg =  7 */     83,    108,    141,    177,    281,    353,    377, 
/* msg =     42, deg =  7 */     84,    109,    142,    178,    282,    354,    378, 
/* msg =     43, deg =  7 */     85,    110,    143,    179,    283,    355,    379, 
/* msg =     44, deg =  7 */     86,    111,    120,    180,    284,    356,    380, 
/* msg =     45, deg =  7 */     87,    112,    121,    181,    285,    357,    381, 
/* msg =     46, deg =  7 */     88,    113,    122,    182,    286,    358,    382, 
/* msg =     47, deg =  7 */     89,    114,    123,    183,    287,    359,    383, 
/* msg =     48, deg =  7 */    109,    134,    172,    269,    288,    408,    432, 
/* msg =     49, deg =  7 */    110,    135,    173,    270,    289,    409,    433, 
/* msg =     50, deg =  7 */    111,    136,    174,    271,    290,    410,    434, 
/* msg =     51, deg =  7 */    112,    137,    175,    272,    291,    411,    435, 
/* msg =     52, deg =  7 */    113,    138,    176,    273,    292,    412,    436, 
/* msg =     53, deg =  7 */    114,    139,    177,    274,    293,    413,    437, 
/* msg =     54, deg =  7 */    115,    140,    178,    275,    294,    414,    438, 
/* msg =     55, deg =  7 */    116,    141,    179,    276,    295,    415,    439, 
/* msg =     56, deg =  7 */    117,    142,    180,    277,    296,    416,    440, 
/* msg =     57, deg =  7 */    118,    143,    181,    278,    297,    417,    441, 
/* msg =     58, deg =  7 */    119,    120,    182,    279,    298,    418,    442, 
/* msg =     59, deg =  7 */     96,    121,    183,    280,    299,    419,    443, 
/* msg =     60, deg =  7 */     97,    122,    184,    281,    300,    420,    444, 
/* msg =     61, deg =  7 */     98,    123,    185,    282,    301,    421,    445, 
/* msg =     62, deg =  7 */     99,    124,    186,    283,    302,    422,    446, 
/* msg =     63, deg =  7 */    100,    125,    187,    284,    303,    423,    447, 
/* msg =     64, deg =  7 */    101,    126,    188,    285,    304,    424,    448, 
/* msg =     65, deg =  7 */    102,    127,    189,    286,    305,    425,    449, 
/* msg =     66, deg =  7 */    103,    128,    190,    287,    306,    426,    450, 
/* msg =     67, deg =  7 */    104,    129,    191,    264,    307,    427,    451, 
/* msg =     68, deg =  7 */    105,    130,    168,    265,    308,    428,    452, 
/* msg =     69, deg =  7 */    106,    131,    169,    266,    309,    429,    453, 
/* msg =     70, deg =  7 */    107,    132,    170,    267,    310,    430,    454, 
/* msg =     71, deg =  7 */    108,    133,    171,    268,    311,    431,    455, 
/* msg =     72, deg =  7 */     21,    100,    138,    182,    276,    480,    504, 
/* msg =     73, deg =  7 */     22,    101,    139,    183,    277,    481,    505, 
/* msg =     74, deg =  7 */     23,    102,    140,    184,    278,    482,    506, 
/* msg =     75, deg =  7 */      0,    103,    141,    185,    279,    483,    507, 
/* msg =     76, deg =  7 */      1,    104,    142,    186,    280,    484,    508, 
/* msg =     77, deg =  7 */      2,    105,    143,    187,    281,    485,    509, 
/* msg =     78, deg =  7 */      3,    106,    120,    188,    282,    486,    510, 
/* msg =     79, deg =  7 */      4,    107,    121,    189,    283,    487,    511, 
/* msg =     80, deg =  7 */      5,    108,    122,    190,    284,    488,    512, 
/* msg =     81, deg =  7 */      6,    109,    123,    191,    285,    489,    513, 
/* msg =     82, deg =  7 */      7,    110,    124,    168,    286,    490,    514, 
/* msg =     83, deg =  7 */      8,    111,    125,    169,    287,    491,    515, 
/* msg =     84, deg =  7 */      9,    112,    126,    170,    264,    492,    516, 
/* msg =     85, deg =  7 */     10,    113,    127,    171,    265,    493,    517, 
/* msg =     86, deg =  7 */     11,    114,    128,    172,    266,    494,    518, 
/* msg =     87, deg =  7 */     12,    115,    129,    173,    267,    495,    519, 
/* msg =     88, deg =  7 */     13,    116,    130,    174,    268,    496,    520, 
/* msg =     89, deg =  7 */     14,    117,    131,    175,    269,    497,    521, 
/* msg =     90, deg =  7 */     15,    118,    132,    176,    270,    498,    522, 
/* msg =     91, deg =  7 */     16,    119,    133,    177,    271,    499,    523, 
/* msg =     92, deg =  7 */     17,     96,    134,    178,    272,    500,    524, 
/* msg =     93, deg =  7 */     18,     97,    135,    179,    273,    501,    525, 
/* msg =     94, deg =  7 */     19,     98,    136,    180,    274,    502,    526, 
/* msg =     95, deg =  7 */     20,     99,    137,    181,    275,    503,    527, 
/* msg =     96, deg =  6 */     25,     54,    203,    220,    311,    312, 
/* msg =     97, deg =  6 */     26,     55,    204,    221,    288,    313, 
/* msg =     98, deg =  6 */     27,     56,    205,    222,    289,    314, 
/* msg =     99, deg =  6 */     28,     57,    206,    223,    290,    315, 
/* msg =    100, deg =  6 */     29,     58,    207,    224,    291,    316, 
/* msg =    101, deg =  6 */     30,     59,    208,    225,    292,    317, 
/* msg =    102, deg =  6 */     31,     60,    209,    226,    293,    318, 
/* msg =    103, deg =  6 */     32,     61,    210,    227,    294,    319, 
/* msg =    104, deg =  6 */     33,     62,    211,    228,    295,    320, 
/* msg =    105, deg =  6 */     34,     63,    212,    229,    296,    321, 
/* msg =    106, deg =  6 */     35,     64,    213,    230,    297,    322, 
/* msg =    107, deg =  6 */     36,     65,    214,    231,    298,    323, 
/* msg =    108, deg =  6 */     37,     66,    215,    232,    299,    324, 
/* msg =    109, deg =  6 */     38,     67,    192,    233,    300,    325, 
/* msg =    110, deg =  6 */     39,     68,    193,    234,    301,    326, 
/* msg =    111, deg =  6 */     40,     69,    194,    235,    302,    327, 
/* msg =    112, deg =  6 */     41,     70,    195,    236,    303,    328, 
/* msg =    113, deg =  6 */     42,     71,    196,    237,    304,    329, 
/* msg =    114, deg =  6 */     43,     48,    197,    238,    305,    330, 
/* msg =    115, deg =  6 */     44,     49,    198,    239,    306,    331, 
/* msg =    116, deg =  6 */     45,     50,    199,    216,    307,    332, 
/* msg =    117, deg =  6 */     46,     51,    200,    217,    308,    333, 
/* msg =    118, deg =  6 */     47,     52,    201,    218,    309,    334, 
/* msg =    119, deg =  6 */     24,     53,    202,    219,    310,    335, 
/* msg =    120, deg =  6 */      9,     61,    200,    234,    360,    384, 
/* msg =    121, deg =  6 */     10,     62,    201,    235,    361,    385, 
/* msg =    122, deg =  6 */     11,     63,    202,    236,    362,    386, 
/* msg =    123, deg =  6 */     12,     64,    203,    237,    363,    387, 
/* msg =    124, deg =  6 */     13,     65,    204,    238,    364,    388, 
/* msg =    125, deg =  6 */     14,     66,    205,    239,    365,    389, 
/* msg =    126, deg =  6 */     15,     67,    206,    216,    366,    390, 
/* msg =    127, deg =  6 */     16,     68,    207,    217,    367,    391, 
/* msg =    128, deg =  6 */     17,     69,    208,    218,    368,    392, 
/* msg =    129, deg =  6 */     18,     70,    209,    219,    369,    393, 
/* msg =    130, deg =  6 */     19,     71,    210,    220,    370,    394, 
/* msg =    131, deg =  6 */     20,     48,    211,    221,    371,    395, 
/* msg =    132, deg =  6 */     21,     49,    212,    222,    372,    396, 
/* msg =    133, deg =  6 */     22,     50,    213,    223,    373,    397, 
/* msg =    134, deg =  6 */     23,     51,    214,    224,    374,    398, 
/* msg =    135, deg =  6 */      0,     52,    215,    225,    375,    399, 
/* msg =    136, deg =  6 */      1,     53,    192,    226,    376,    400, 
/* msg =    137, deg =  6 */      2,     54,    193,    227,    377,    401, 
/* msg =    138, deg =  6 */      3,     55,    194,    228,    378,    402, 
/* msg =    139, deg =  6 */      4,     56,    195,    229,    379,    403, 
/* msg =    140, deg =  6 */      5,     57,    196,    230,    380,    404, 
/* msg =    141, deg =  6 */      6,     58,    197,    231,    381,    405, 
/* msg =    142, deg =  6 */      7,     59,    198,    232,    382,    406, 
/* msg =    143, deg =  6 */      8,     60,    199,    233,    383,    407, 
/* msg =    144, deg =  6 */     63,    147,    230,    246,    384,    408, 
/* msg =    145, deg =  6 */     64,    148,    231,    247,    385,    409, 
/* msg =    146, deg =  6 */     65,    149,    232,    248,    386,    410, 
/* msg =    147, deg =  6 */     66,    150,    233,    249,    387,    411, 
/* msg =    148, deg =  6 */     67,    151,    234,    250,    388,    412, 
/* msg =    149, deg =  6 */     68,    152,    235,    251,    389,    413, 
/* msg =    150, deg =  6 */     69,    153,    236,    252,    390,    414, 
/* msg =    151, deg =  6 */     70,    154,    237,    253,    391,    415, 
/* msg =    152, deg =  6 */     71,    155,    238,    254,    392,    416, 
/* msg =    153, deg =  6 */     48,    156,    239,    255,    393,    417, 
/* msg =    154, deg =  6 */     49,    157,    216,    256,    394,    418, 
/* msg =    155, deg =  6 */     50,    158,    217,    257,    395,    419, 
/* msg =    156, deg =  6 */     51,    159,    218,    258,    396,    420, 
/* msg =    157, deg =  6 */     52,    160,    219,    259,    397,    421, 
/* msg =    158, deg =  6 */     53,    161,    220,    260,    398,    422, 
/* msg =    159, deg =  6 */     54,    162,    221,    261,    399,    423, 
/* msg =    160, deg =  6 */     55,    163,    222,    262,    400,    424, 
/* msg =    161, deg =  6 */     56,    164,    223,    263,    401,    425, 
/* msg =    162, deg =  6 */     57,    165,    224,    240,    402,    426, 
/* msg =    163, deg =  6 */     58,    166,    225,    241,    403,    427, 
/* msg =    164, deg =  6 */     59,    167,    226,    242,    404,    428, 
/* msg =    165, deg =  6 */     60,    144,    227,    243,    405,    429, 
/* msg =    166, deg =  6 */     61,    145,    228,    244,    406,    430, 
/* msg =    167, deg =  6 */     62,    146,    229,    245,    407,    431, 
/* msg =    168, deg =  6 */     49,     83,    237,    260,    432,    456, 
/* msg =    169, deg =  6 */     50,     84,    238,    261,    433,    457, 
/* msg =    170, deg =  6 */     51,     85,    239,    262,    434,    458, 
/* msg =    171, deg =  6 */     52,     86,    216,    263,    435,    459, 
/* msg =    172, deg =  6 */     53,     87,    217,    240,    436,    460, 
/* msg =    173, deg =  6 */     54,     88,    218,    241,    437,    461, 
/* msg =    174, deg =  6 */     55,     89,    219,    242,    438,    462, 
/* msg =    175, deg =  6 */     56,     90,    220,    243,    439,    463, 
/* msg =    176, deg =  6 */     57,     91,    221,    244,    440,    464, 
/* msg =    177, deg =  6 */     58,     92,    222,    245,    441,    465, 
/* msg =    178, deg =  6 */     59,     93,    223,    246,    442,    466, 
/* msg =    179, deg =  6 */     60,     94,    224,    247,    443,    467, 
/* msg =    180, deg =  6 */     61,     95,    225,    248,    444,    468, 
/* msg =    181, deg =  6 */     62,     72,    226,    249,    445,    469, 
/* msg =    182, deg =  6 */     63,     73,    227,    250,    446,    470, 
/* msg =    183, deg =  6 */     64,     74,    228,    251,    447,    471, 
/* msg =    184, deg =  6 */     65,     75,    229,    252,    448,    472, 
/* msg =    185, deg =  6 */     66,     76,    230,    253,    449,    473, 
/* msg =    186, deg =  6 */     67,     77,    231,    254,    450,    474, 
/* msg =    187, deg =  6 */     68,     78,    232,    255,    451,    475, 
/* msg =    188, deg =  6 */     69,     79,    233,    256,    452,    476, 
/* msg =    189, deg =  6 */     70,     80,    234,    257,    453,    477, 
/* msg =    190, deg =  6 */     71,     81,    235,    258,    454,    478, 
/* msg =    191, deg =  6 */     48,     82,    236,    259,    455,    479, 
/* msg =    192, deg =  6 */     46,     54,    144,    229,    456,    480, 
/* msg =    193, deg =  6 */     47,     55,    145,    230,    457,    481, 
/* msg =    194, deg =  6 */     24,     56,    146,    231,    458,    482, 
/* msg =    195, deg =  6 */     25,     57,    147,    232,    459,    483, 
/* msg =    196, deg =  6 */     26,     58,    148,    233,    460,    484, 
/* msg =    197, deg =  6 */     27,     59,    149,    234,    461,    485, 
/* msg =    198, deg =  6 */     28,     60,    150,    235,    462,    486, 
/* msg =    199, deg =  6 */     29,     61,    151,    236,    463,    487, 
/* msg =    200, deg =  6 */     30,     62,    152,    237,    464,    488, 
/* msg =    201, deg =  6 */     31,     63,    153,    238,    465,    489, 
/* msg =    202, deg =  6 */     32,     64,    154,    239,    466,    490, 
/* msg =    203, deg =  6 */     33,     65,    155,    216,    467,    491, 
/* msg =    204, deg =  6 */     34,     66,    156,    217,    468,    492, 
/* msg =    205, deg =  6 */     35,     67,    157,    218,    469,    493, 
/* msg =    206, deg =  6 */     36,     68,    158,    219,    470,    494, 
/* msg =    207, deg =  6 */     37,     69,    159,    220,    471,    495, 
/* msg =    208, deg =  6 */     38,     70,    160,    221,    472,    496, 
/* msg =    209, deg =  6 */     39,     71,    161,    222,    473,    497, 
/* msg =    210, deg =  6 */     40,     48,    162,    223,    474,    498, 
/* msg =    211, deg =  6 */     41,     49,    163,    224,    475,    499, 
/* msg =    212, deg =  6 */     42,     50,    164,    225,    476,    500, 
/* msg =    213, deg =  6 */     43,     51,    165,    226,    477,    501, 
/* msg =    214, deg =  6 */     44,     52,    166,    227,    478,    502, 
/* msg =    215, deg =  6 */     45,     53,    167,    228,    479,    503, 
/* msg =    216, deg =  6 */    121,    178,    247,    270,    504,    528, 
/* msg =    217, deg =  6 */    122,    179,    248,    271,    505,    529, 
/* msg =    218, deg =  6 */    123,    180,    249,    272,    506,    530, 
/* msg =    219, deg =  6 */    124,    181,    250,    273,    507,    531, 
/* msg =    220, deg =  6 */    125,    182,    251,    274,    508,    532, 
/* msg =    221, deg =  6 */    126,    183,    252,    275,    509,    533, 
/* msg =    222, deg =  6 */    127,    184,    253,    276,    510,    534, 
/* msg =    223, deg =  6 */    128,    185,    254,    277,    511,    535, 
/* msg =    224, deg =  6 */    129,    186,    255,    278,    512,    536, 
/* msg =    225, deg =  6 */    130,    187,    256,    279,    513,    537, 
/* msg =    226, deg =  6 */    131,    188,    257,    280,    514,    538, 
/* msg =    227, deg =  6 */    132,    189,    258,    281,    515,    539, 
/* msg =    228, deg =  6 */    133,    190,    259,    282,    516,    540, 
/* msg =    229, deg =  6 */    134,    191,    260,    283,    517,    541, 
/* msg =    230, deg =  6 */    135,    168,    261,    284,    518,    542, 
/* msg =    231, deg =  6 */    136,    169,    262,    285,    519,    543, 
/* msg =    232, deg =  6 */    137,    170,    263,    286,    520,    544, 
/* msg =    233, deg =  6 */    138,    171,    240,    287,    521,    545, 
/* msg =    234, deg =  6 */    139,    172,    241,    264,    522,    546, 
/* msg =    235, deg =  6 */    140,    173,    242,    265,    523,    547, 
/* msg =    236, deg =  6 */    141,    174,    243,    266,    524,    548, 
/* msg =    237, deg =  6 */    142,    175,    244,    267,    525,    549, 
/* msg =    238, deg =  6 */    143,    176,    245,    268,    526,    550, 
/* msg =    239, deg =  6 */    120,    177,    246,    269,    527,    551, 
/* msg =    240, deg =  6 */     71,     80,    207,    228,    528,    552, 
/* msg =    241, deg =  6 */     48,     81,    208,    229,    529,    553, 
/* msg =    242, deg =  6 */     49,     82,    209,    230,    530,    554, 
/* msg =    243, deg =  6 */     50,     83,    210,    231,    531,    555, 
/* msg =    244, deg =  6 */     51,     84,    211,    232,    532,    556, 
/* msg =    245, deg =  6 */     52,     85,    212,    233,    533,    557, 
/* msg =    246, deg =  6 */     53,     86,    213,    234,    534,    558, 
/* msg =    247, deg =  6 */     54,     87,    214,    235,    535,    559, 
/* msg =    248, deg =  6 */     55,     88,    215,    236,    536,    560, 
/* msg =    249, deg =  6 */     56,     89,    192,    237,    537,    561, 
/* msg =    250, deg =  6 */     57,     90,    193,    238,    538,    562, 
/* msg =    251, deg =  6 */     58,     91,    194,    239,    539,    563, 
/* msg =    252, deg =  6 */     59,     92,    195,    216,    540,    564, 
/* msg =    253, deg =  6 */     60,     93,    196,    217,    541,    565, 
/* msg =    254, deg =  6 */     61,     94,    197,    218,    542,    566, 
/* msg =    255, deg =  6 */     62,     95,    198,    219,    543,    567, 
/* msg =    256, deg =  6 */     63,     72,    199,    220,    544,    568, 
/* msg =    257, deg =  6 */     64,     73,    200,    221,    545,    569, 
/* msg =    258, deg =  6 */     65,     74,    201,    222,    546,    570, 
/* msg =    259, deg =  6 */     66,     75,    202,    223,    547,    571, 
/* msg =    260, deg =  6 */     67,     76,    203,    224,    548,    572, 
/* msg =    261, deg =  6 */     68,     77,    204,    225,    549,    573, 
/* msg =    262, deg =  6 */     69,     78,    205,    226,    550,    574, 
/* msg =    263, deg =  6 */     70,     79,    206,    227,    551,    575, 
/* msg =    264, deg =  6 */     14,    128,    182,    282,    311,    552, 
/* msg =    265, deg =  6 */     15,    129,    183,    283,    288,    553, 
/* msg =    266, deg =  6 */     16,    130,    184,    284,    289,    554, 
/* msg =    267, deg =  6 */     17,    131,    185,    285,    290,    555, 
/* msg =    268, deg =  6 */     18,    132,    186,    286,    291,    556, 
/* msg =    269, deg =  6 */     19,    133,    187,    287,    292,    557, 
/* msg =    270, deg =  6 */     20,    134,    188,    264,    293,    558, 
/* msg =    271, deg =  6 */     21,    135,    189,    265,    294,    559, 
/* msg =    272, deg =  6 */     22,    136,    190,    266,    295,    560, 
/* msg =    273, deg =  6 */     23,    137,    191,    267,    296,    561, 
/* msg =    274, deg =  6 */      0,    138,    168,    268,    297,    562, 
/* msg =    275, deg =  6 */      1,    139,    169,    269,    298,    563, 
/* msg =    276, deg =  6 */      2,    140,    170,    270,    299,    564, 
/* msg =    277, deg =  6 */      3,    141,    171,    271,    300,    565, 
/* msg =    278, deg =  6 */      4,    142,    172,    272,    301,    566, 
/* msg =    279, deg =  6 */      5,    143,    173,    273,    302,    567, 
/* msg =    280, deg =  6 */      6,    120,    174,    274,    303,    568, 
/* msg =    281, deg =  6 */      7,    121,    175,    275,    304,    569, 
/* msg =    282, deg =  6 */      8,    122,    176,    276,    305,    570, 
/* msg =    283, deg =  6 */      9,    123,    177,    277,    306,    571, 
/* msg =    284, deg =  6 */     10,    124,    178,    278,    307,    572, 
/* msg =    285, deg =  6 */     11,    125,    179,    279,    308,    573, 
/* msg =    286, deg =  6 */     12,    126,    180,    280,    309,    574, 
/* msg =    287, deg =  6 */     13,    127,    181,    281,    310,    575
};


